Nuprl Definition : qdiv
11,40
postcript
pdf
qdiv(
r
;
s
) ==
r
* qinv(
s
)
latex
Definitions
r
*
s
,
qinv(
r
)
FDL editor aliases
qdiv
origin